Sequential vs. Non-sequential Temporal Planning Domains (Final project report)
نویسنده
چکیده
Temporal planning has seen many advances in the last several years, as shown by the temporal track in International Planning Competition. However, the analysis in (Cushing et al., ICAPS 2007) shows that most of the domains used in the competition are inherently sequential and do not require concurrency. In addition, many of the winning planners did not really perform temporal planning and there was only a small and limited set of temporal languages they were capable of solving. In this work we take the presented analytical result, combine them with the work in (Fox & Long 2007) and implement some of these results and evaluate and analyze them on several planning domains.
منابع مشابه
Evaluating Temporal Planning Domains
The last eight years have seen dramatic progress in temporal planning as highlighted by the temporal track in the last three International Planning Competitions (IPC). However, our recent work, (Cushing et al. 2007), showed that most of the competition winning planners are only complete for very restricted forms of temporal planning languages that are in a sense indistinguishable from STRIPS. I...
متن کاملApplication of Sequential Gaussian Conditional Simulation to Underground Mine Design Under Grade Uncertainty
In mining projects, all uncertainties associated with a project must be considered to determine the feasibility study. Grade uncertainty is one of the major components of technical uncertainty that affects the variability of the project. Geostatistical simulation, as a reliable approach, is the most widely used method to quantify risk analysis to overcome the drawbacks of the estimation methods...
متن کاملConcurrent Planning and Execution for a Walking Robot
The Planetary Rover project is developing the Ambler, a novel legged robot, and an autonomous software system for walking the Ambler over rough terrain. As part of the project, we have developed a system that integrates perception, planning, and rea-ame control to navigate a single leg of the robot through complex obstacle courses. The system is integrated using the Task Control Architecture (T...
متن کاملTemporal preparation, response inhibition and impulsivity.
Temporal preparation and impulsivity involve overlapping neural structures (prefrontal cortex) and cognitive functions (response inhibition and time perception), however, their interrelations had not been investigated. We studied such interrelations by comparing the performance of groups with low vs. high non-clinical trait impulsivity during a temporal preparation go no-go task. This task meas...
متن کاملSynthesis of Controllers from Interval Temporal Logic Specification
ed state machines Deterministic state machines 1. State machine extraction (e.g. stg_extract) 2. Eliminate conditions New constraints in ITL 3. Sequential circuits 5. Logic synthesis 4. Sythesizer (tableau and determinize) KISS2 interface Figure 2: Flow of Our Redesign Method 4 A Redesign Method We cannot handle very complex ITL formulas within a reasonable time, since the expansion time grows ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2008